/* Send output direct to console, or buffer it? */
int debugtrace_send_to_console;
-static unsigned char *debugtrace_buf; /* Debug-trace buffer */
-static unsigned int debugtrace_prd; /* Producer index */
-static unsigned int debugtrace_kilobytes = 128, debugtrace_bytes;
-static spinlock_t debugtrace_lock = SPIN_LOCK_UNLOCKED;
+static char *debugtrace_buf; /* Debug-trace buffer */
+static unsigned int debugtrace_prd; /* Producer index */
+static unsigned int debugtrace_kilobytes = 128, debugtrace_bytes;
+static spinlock_t debugtrace_lock = SPIN_LOCK_UNLOCKED;
integer_param("debugtrace", debugtrace_kilobytes);
void debugtrace_dump(void)
{
static char buf[1024];
- va_list args;
- unsigned char *p;
- unsigned long flags;
+ va_list args;
+ char *p;
+ unsigned long flags;
if ( debugtrace_bytes == 0 )
return;
return 0;
order = get_order(bytes);
- debugtrace_buf = (unsigned char *)alloc_xenheap_pages(order);
+ debugtrace_buf = (char *)alloc_xenheap_pages(order);
ASSERT(debugtrace_buf != NULL);
memset(debugtrace_buf, '\0', bytes);